<html>
<head><meta charset="utf-8"><title>associated type bounds · t-compiler · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/index.html">t-compiler</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/associated.20type.20bounds.html">associated type bounds</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="154547627"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/associated%20type%20bounds/near/154547627" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/associated.20type.20bounds.html#154547627">(Jan 07 2019 at 05:25)</a>:</h4>
<p>So, I've modified <code>lower_item_kind</code> for <code>ItemKind::Existential</code> to allow <code>ImplTraitContext::Existential</code> for its bounds, but tests aren't going as expected. This has stumped me for a couple of days now. <a href="https://gist.github.com/alexreg/0163e1bc5d20af4619569ad281dbd661" target="_blank" title="https://gist.github.com/alexreg/0163e1bc5d20af4619569ad281dbd661">https://gist.github.com/alexreg/0163e1bc5d20af4619569ad281dbd661</a> -- could someone kindly take a look?</p>



<a name="154547633"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/associated%20type%20bounds/near/154547633" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/associated.20type.20bounds.html#154547633">(Jan 07 2019 at 05:25)</a>:</h4>
<p>CC <span class="user-mention" data-user-id="116009">@nikomatsakis</span> <span class="user-mention" data-user-id="121053">@varkor</span>, but feel free to ignore if you're busy.</p>



<a name="154578424"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/associated%20type%20bounds/near/154578424" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/associated.20type.20bounds.html#154578424">(Jan 07 2019 at 15:51)</a>:</h4>
<p><span class="user-mention" data-user-id="124069">@Alexander Regueiro</span> what's the context here? you're trying to make that example work?</p>



<a name="154578545"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/associated%20type%20bounds/near/154578545" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/associated.20type.20bounds.html#154578545">(Jan 07 2019 at 15:52)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> yep.</p>



<a name="154578554"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/associated%20type%20bounds/near/154578554" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/associated.20type.20bounds.html#154578554">(Jan 07 2019 at 15:52)</a>:</h4>
<p>Seems like it should be simple but....</p>



<a name="154578578"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/associated%20type%20bounds/near/154578578" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/associated.20type.20bounds.html#154578578">(Jan 07 2019 at 15:53)</a>:</h4>
<p>The defining type doesn’t get found in the second case.</p>



<a name="154578589"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/associated%20type%20bounds/near/154578589" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/associated.20type.20bounds.html#154578589">(Jan 07 2019 at 15:53)</a>:</h4>
<p>For the generated existential type</p>



<a name="154583326"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/associated%20type%20bounds/near/154583326" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/associated.20type.20bounds.html#154583326">(Jan 07 2019 at 16:59)</a>:</h4>
<p>Any ideas <span class="user-mention" data-user-id="116009">@nikomatsakis</span>?</p>



<a name="154591203"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/associated%20type%20bounds/near/154591203" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/associated.20type.20bounds.html#154591203">(Jan 07 2019 at 18:54)</a>:</h4>
<p>sorry haven't had a chance to look yet, but tbh I can't make heads or tails of that gist</p>



<a name="154591208"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/associated%20type%20bounds/near/154591208" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/associated.20type.20bounds.html#154591208">(Jan 07 2019 at 18:54)</a>:</h4>
<p>I guess it'd be easier if I had a branch to look at or something</p>



<a name="154591233"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/associated%20type%20bounds/near/154591233" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/associated.20type.20bounds.html#154591233">(Jan 07 2019 at 18:54)</a>:</h4>
<p>the long lines are throwing me off :P</p>



<a name="154603102"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/associated%20type%20bounds/near/154603102" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/associated.20type.20bounds.html#154603102">(Jan 07 2019 at 21:34)</a>:</h4>
<p>heh sorry</p>



<a name="154603106"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/associated%20type%20bounds/near/154603106" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/associated.20type.20bounds.html#154603106">(Jan 07 2019 at 21:34)</a>:</h4>
<p>want me to push the WIP branch?</p>



<a name="154603250"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/associated%20type%20bounds/near/154603250" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/associated.20type.20bounds.html#154603250">(Jan 07 2019 at 21:37)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/pull/57428" target="_blank" title="https://github.com/rust-lang/rust/pull/57428">https://github.com/rust-lang/rust/pull/57428</a></p>



<a name="154603255"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/associated%20type%20bounds/near/154603255" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/associated.20type.20bounds.html#154603255">(Jan 07 2019 at 21:37)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span></p>



<a name="154606376"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/associated%20type%20bounds/near/154606376" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> varkor <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/associated.20type.20bounds.html#154606376">(Jan 07 2019 at 22:20)</a>:</h4>
<p><span class="user-mention" data-user-id="124069">@Alexander Regueiro</span>: it's really hard to read the diff when most of the changes are comment formatting changes</p>



<a name="154606416"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/associated%20type%20bounds/near/154606416" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/associated.20type.20bounds.html#154606416">(Jan 07 2019 at 22:21)</a>:</h4>
<p><span class="user-mention" data-user-id="121053">@varkor</span> sorry, I should have separated those out... I usually do it at the end of a PR</p>



<a name="154606495"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/associated%20type%20bounds/near/154606495" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> varkor <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/associated.20type.20bounds.html#154606495">(Jan 07 2019 at 22:22)</a>:</h4>
<p>it makes sense to make cosmetic changes in a different PR entirely, so the PR stands alone</p>



<a name="154607746"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/associated%20type%20bounds/near/154607746" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/associated.20type.20bounds.html#154607746">(Jan 07 2019 at 22:45)</a>:</h4>
<p><span class="user-mention" data-user-id="121053">@varkor</span> there aren't <em>that</em> many cosmetic changes here. and anyway, I was probably going to add them to my other PR</p>



<a name="154607758"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/associated%20type%20bounds/near/154607758" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/associated.20type.20bounds.html#154607758">(Jan 07 2019 at 22:45)</a>:</h4>
<p>Niko doesn't care much as long as it's a separate commit heh. so it depends who's reviewing I guess...</p>



<a name="154607766"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/associated%20type%20bounds/near/154607766" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/associated.20type.20bounds.html#154607766">(Jan 07 2019 at 22:45)</a>:</h4>
<p><span class="user-mention" data-user-id="121053">@varkor</span> anyway, want me to rebase now, or have you figured it out?</p>



<a name="154611600"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/associated%20type%20bounds/near/154611600" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/associated.20type.20bounds.html#154611600">(Jan 08 2019 at 00:01)</a>:</h4>
<p><span class="user-mention" data-user-id="121053">@varkor</span> well, let me know... I'm only going to rebase it it helps you debug. otherwise will wait until later</p>



<a name="154677206"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/associated%20type%20bounds/near/154677206" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> varkor <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/associated.20type.20bounds.html#154677206">(Jan 08 2019 at 21:07)</a>:</h4>
<p><span class="user-mention" data-user-id="124069">@Alexander Regueiro</span>: if you rebase, I could have a look over to see if I spot anything</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>